-
1 аксиома присваивания
Русско-английский большой базовый словарь > аксиома присваивания
-
2 аксиома присваивания
Information technology: axiom of assignmentУниверсальный русско-английский словарь > аксиома присваивания
-
3 аксиома присваивания
Русско-английский словарь по вычислительной технике и программированию > аксиома присваивания
-
4 аксиома
Русско-английский словарь по информационным технологиям > аксиома
-
5 символ оператора присваивания
Русско-английский словарь по информационным технологиям > символ оператора присваивания
-
6 система аксиом
-
7 одноразовое присваивание
Русско-английский большой базовый словарь > одноразовое присваивание
-
8 одноразоваое присваивание
Русско-английский большой базовый словарь > одноразоваое присваивание
-
9 однократное присваивание
Русско-английский словарь по информационным технологиям > однократное присваивание
См. также в других словарях:
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия